Distributive Laws for Relative Monads

We introduce the notion of a distributive law between relative monad and monad. call this define it in any 2-category $\mathcal{K}$. In order to do that, we monads $\mathcal{K}$ with morphisms transformations as 1- 2-cells, respectively. relate our definition defined by Street. Thanks view prove two Beck-type theorems regarding laws. also describe what does mean have Eilenberg-Moore Kleisli objects context give examples locally small categories.